More updates for the URL library manual.
authorChong Yidong <cyd@gnu.org>
Fri, 9 Nov 2012 08:34:17 +0000 (16:34 +0800)
committerChong Yidong <cyd@gnu.org>
Fri, 9 Nov 2012 08:34:17 +0000 (16:34 +0800)
commitfc372a83ff16f8dabc6a64389853dc24e94f767f
tree38b88be19a0d6bff9e8c22c3f642237be8ffceb7
parentdb7eea1aeedfea7e4a8aba908099fc0db87e08c2
More updates for the URL library manual.

* url.texi (Introduction): Move url-configuration-directory to
Customization node.
(Parsed URIs): Split into its own node.
(URI Encoding): New node.
(Defining New URLs): Remove empty chapter.
(Retrieving URLs): Add an introduction.  Doc fix for url-retrieve.
Improve docs for url-queue-*.
(Supported URL Types): Copyedits.  Delete empty subnodes.
doc/misc/ChangeLog
doc/misc/url.texi
etc/NEWS